プロセス代数とその応用⑥ CSP - 共立出版コンピュータサイエンス誌『bit』